National Repository of Grey Literature 5 records found  Search took 0.00 seconds. 
Methods of Software Testing and Verification for Airborne Systems
Mačišák, Lukáš ; Chudý, Peter (referee) ; Drahanský, Martin (advisor)
This Master's Thesis describes methods of software certification and development of airborne systems, focusing on software testing and verification during project's life cycle. Thesis includes also designed software verification plan for concrete application according to RTCA/DO-178B. Another part of thesis illustrates the exemplary realization of tests according to designed verification plan. At the close we describe the options of applying the designed verification plan and evaluation of its results.
Selected diagnostic procedures during the annual macrocycle of the floorball season which are used to demonstrate a specific asymmetry in floorbal players
Jelínek, Marian ; Hráský, Pavel (advisor) ; Jebavý, Radim (referee)
Title of the thesis: Selected diagnostic procedures during the annual macrocycle of the floorball season which are used to demonstrate a specific asymmetry in floorball players Aims of the thesis: The aim of this work is to identify and analyze the specific time period during the floorball season, which is characteristic with the biggest muscle asymmetry caused due to a specific exercise load that floorball demands. Methods: The research was conducted among elite floorball teams of the top men's floorball competition in the Czech Republic and the tested research group included only male professional athletes. The probands (n = 18 input measurements, n = 10 output measurements) took a total of four complex measurements. Testing was held once before the pre-conditioning period, once during the main course and twice before the playoff. Missing data was supplemented and approximated by the method of multiple imputations in Mplus software. Selected body composition parameters were evaluated, tested and measured on various measuring instruments and machines such as Tanita MC-980MA. The footscan® systems were used to measure postural stability. The explosive force was measured using Kistler force plates and the Cybex Humac Norm isokinetic dynamometer was used to determine the muscle strength of the lower...
Methods of Software Testing and Verification for Airborne Systems
Mačišák, Lukáš ; Chudý, Peter (referee) ; Drahanský, Martin (advisor)
This Master's Thesis describes methods of software certification and development of airborne systems, focusing on software testing and verification during project's life cycle. Thesis includes also designed software verification plan for concrete application according to RTCA/DO-178B. Another part of thesis illustrates the exemplary realization of tests according to designed verification plan. At the close we describe the options of applying the designed verification plan and evaluation of its results.
Inherited diseases in cattle
ALFERYOVÁ, Patricie
The bachelor thesis is worked out in the form of the research on the theme ,,Inherted diseases in cattle". The aim of this work is to highlight the known information about the selected genetically caused disease in cattle, their issues and incidence in the Czech Republic but also in other countries. First, there is described the origin of cattle, his domestication, breeds cattle and the situation in the Czech Republic. Another part deals with the basic genetic concepts of selected hereditary diseases of cattle and genetic testing methods. At the end of my work I have captured the current situation of inherited diseases in the Czech Republic and important breeding measures to eliminate this disturbances.
Determine the effect of tennis, such unilateral burden on developing posture of children of primary school age
BERANOVÁ, Eliška
The aim of this work is to investigate possible posture and muscle imbalances in children of primary school age who have been regularly engaged in tennis for two years. After to develop a compensation program and include it for 3 months into their training. In conclusion to perform output test and evaluate whether the compensation program was effective. For tennis players, it was assumed hyperlordoticly posture, the hip flexors shortened and weakened abdominal muscles. After completion of compensatory exercises possession slightly improved, shortened muscles were clearly stretched and weakened muscles strengthened.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.